Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
71	New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Logic Abstraction Philosophical logic Axiom Mathematical proof Maxims Self-evidence Truth Modal logic Foundations of geometry Law of thought
72	Introduction Duality – Statement Duality – Proof Hedging in markets with model ambiguity H. Mete Soner Add to Reading List Source URL: www.ccfz.ch Language: English - Date: 2013-11-25 09:44:40 Mathematical finance Technical analysis VIX Volatility Duality Local volatility Hedge
73	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
74	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
75	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
76	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
77	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
78	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
79	New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Epistemology Internalism and externalism Justification Philosophical movements Philosophical logic An Essay Concerning Human Understanding Empiricism Gottfried Wilhelm Leibniz Truth Ethics Mathematical proof